CProgol Version 4.4

[:- modeh(1,active(+drug))? - Time taken 0.00s]
[:- modeb(100,bond(+drug,-atomid,-atomid,#int))? - Time taken 0.00s]
[:- modeb(100,bond(+drug,+atomid,-atomid,#int))? - Time taken 0.00s]
[:- modeb(100,atm(+drug,-atomid,#element,#int,-charge))? - Time taken 0.00s]
[:- modeb(1,gteq(+charge,#float))? - Time taken 0.00s]
[:- modeb(1,gteq(+energy,#float))? - Time taken 0.00s]
[:- modeb(1,gteq(+hydrophob,#float))? - Time taken 0.00s]
[:- modeb(1,lteq(+charge,#float))? - Time taken 0.01s]
[:- modeb(1,lteq(+energy,#float))? - Time taken 0.00s]
[:- modeb(1,lteq(+hydrophob,#float))? - Time taken 0.00s]
[:- modeb(1,+charge= #charge)? - Time taken 0.00s]
[:- modeb(1,+energy= #energy)? - Time taken 0.00s]
[:- modeb(1,+hydrophob= #hydrophob)? - Time taken 0.00s]
[:- modeb(100,benzene(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,carbon_5_aromatic_ring(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,carbon_6_ring(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,hetero_aromatic_6_ring(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,hetero_aromatic_5_ring(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,ring_size_6(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,ring_size_5(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,nitro(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,methyl(+drug,-ring))? - Time taken 0.00s]
[:- modeb(100,anthracene(+drug,-ringlist))? - Time taken 0.00s]
[:- modeb(100,phenanthrene(+drug,-ringlist))? - Time taken 0.00s]
[:- modeb(100,ball3(+drug,-ringlist))? - Time taken 0.00s]
[:- modeb(100,member(-ring,+ringlist))? - Time taken 0.00s]
[:- modeb(1,member(+ring,+ringlist))? - Time taken 0.00s]
[:- modeb(1,connected(+ring,+ring))? - Time taken 0.00s]
[:- determination(active/1,atm/5)? - Time taken 0.00s]
[:- determination(active/1,bond/4)? - Time taken 0.00s]
[:- determination(active/1,gteq/2)? - Time taken 0.00s]
[:- determination(active/1,lteq/2)? - Time taken 0.00s]
[:- determination(active/1,= /2)? - Time taken 0.00s]
[:- determination(active/1,lumo/2)? - Time taken 0.00s]
[:- determination(active/1,logp/2)? - Time taken 0.00s]
[:- determination(active/1,benzene/2)? - Time taken 0.00s]
[:- determination(active/1,carbon_5_aromatic_ring/2)? - Time taken 0.00s]
[:- determination(active/1,carbon_6_ring/2)? - Time taken 0.00s]
[:- determination(active/1,hetero_aromatic_6_ring/2)? - Time taken 0.00s]
[:- determination(active/1,hetero_aromatic_5_ring/2)? - Time taken 0.00s]
[:- determination(active/1,ring_size_6/2)? - Time taken 0.00s]
[:- determination(active/1,ring_size_5/2)? - Time taken 0.01s]
[:- determination(active/1,nitro/2)? - Time taken 0.00s]
[:- determination(active/1,methyl/2)? - Time taken 0.00s]
[:- determination(active/1,anthracene/2)? - Time taken 0.00s]
[:- determination(active/1,phenanthrene/2)? - Time taken 0.00s]
[:- determination(active/1,ball3/2)? - Time taken 0.00s]
[:- determination(active/1,member/2)? - Time taken 0.00s]
[:- determination(active/1,connected/2)? - Time taken 0.00s]
[:- set(i,2)? - Time taken 0.00s]
[:- set(nodes,20000)? - Time taken 0.00s]
[:- set(noise,5)? - Time taken 0.00s]
[:- set(c,3)? - Time taken 0.00s]
[Syntax error at line 1 in file <ring_theory.pl>]
[Syntax error at line 2 in file <ring_theory.pl>]

[PREDICATE active/1]

Contingency table=    ________A________~A
                    P|        0|        0|         0
                     |(    0.0)|(    0.0)| 
                   ~P|       14|        5|        19
                     |(   14.0)|(    5.0)|
                      ~~~~~~~~~~~~~~~~~~~
                             14         5         19
[Overall accuracy= 26.32% +/- 10.10%]
[Chi-square = NaN]
 [Without Yates correction = NaN]
[df too large/no convergence in product for gamma function]
[Chi-square probability = NaN]
[Generalising active(d10).]
Resource limit exceeded
[Generalising active(d86).]
Resource limit exceeded
[Generalising active(d105).]
Resource limit exceeded
[No compression]

[Generalising active(d173).]
Resource limit exceeded
[No compression]

[Generalising active(d57).]
Resource limit exceeded
[Generalising active(d169).]
[No compression]

[Generalising active(d21).]
Resource limit exceeded
[No compression]

[Generalising active(d180).]
Resource limit exceeded
[Generalising active(d83).]
Resource limit exceeded
[Generalising active(d115).]
[No compression]

[Generalising active(d145).]
Resource limit exceeded
[No compression]

[Generalising active(d161).]
Resource limit exceeded
[Generalising active(d170).]
Resource limit exceeded
[Generalising active(d87).]
Resource limit exceeded
[Generalising active(d95).]
Resource limit exceeded
[No compression]

[Generalising active(d109).]
Resource limit exceeded
[Generalising active(d177).]
Resource limit exceeded
[Generalising active(d187).]
Resource limit exceeded
[Generalising active(d44).]
Resource limit exceeded
[Generalising active(d45).]
[Generalising active(d54).]
Resource limit exceeded
[No compression]

[Generalising active(d75).]
Resource limit exceeded
[No compression]

[Generalising active(d140).]
Resource limit exceeded
[No compression]

[Generalising active(d149).]
Resource limit exceeded
[Generalising active(d171).]
Resource limit exceeded
[No compression]

[Generalising active(d47).]
Resource limit exceeded
[Generalising active(d79).]
Resource limit exceeded
[Generalising active(d126).]
Resource limit exceeded
[Generalising active(d172).]
[No compression]

[Generalising active(d37).]
Resource limit exceeded
[No compression]

[Generalising active(d56).]
Resource limit exceeded
[Generalising active(d146).]
Resource limit exceeded
[No compression]

[Generalising active(d49).]
Resource limit exceeded
[Generalising active(d50).]
Resource limit exceeded
[No compression]

[Generalising active(d117).]
Resource limit exceeded
[No compression]

[Generalising active(d153).]
Resource limit exceeded
[Generalising active(d32).]
Resource limit exceeded
[Generalising active(d176).]
[No compression]

[Generalising active(d48).]
Resource limit exceeded
[Generalising active(d60).]
Resource limit exceeded
[Generalising active(d112).]
Resource limit exceeded
[Generalising active(d81).]
[Generalising active(d162).]
Resource limit exceeded
[No compression]


active(d105).
active(d173).
active(d57).
active(d169).
active(d21).
active(d180).
active(d83).
active(d115).
active(d145).
active(d161).
active(d170).
active(d87).
active(d95).
active(d109).
active(d177).
active(d187).
active(d44).
active(d45).
active(d54).
active(d75).
active(d140).
active(d149).
active(d171).
active(d47).
active(d79).
active(d126).
active(d172).
active(d37).
active(d56).
active(d146).
active(d49).
active(d50).
active(d117).
active(d153).
active(d32).
active(d176).
active(d48).
active(d60).
active(d112).
active(d81).
active(d162).
active(A) :- atm(A,B,c,29,C), ring_size_5(A,D).
active(A) :- atm(A,B,c,27,C), lteq(C,-0.079).
active(A) :- bond(A,B,C,7), bond(A,D,B,1), atm(A,C,c,29,E).
active(A) :- carbon_6_ring(A,B).
active(A) :- atm(A,B,c,22,-0.148).
active(A) :- phenanthrene(A,B).
active(A) :- atm(A,B,n,38,C), lteq(C,0.789).
active(A) :- atm(A,B,c,22,-0.142).
active(A) :- bond(A,B,C,2), atm(A,B,o,40,-0.383).
active(A) :- bond(A,B,C,2), atm(A,C,n,38,D), lteq(D,0.794).
active(A) :- atm(A,B,c,22,-0.125).

[Total number of clauses = 52]

